退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种适用于基于agent的系统的形式化开发和验证方法
Giovanna Di; Giovanna Di Marzo Serugendo;
机译:动态可重配置NoC平台的基于代理的分层监视系统的正式开发
机译:SCTL-MUS:分布式系统软件开发的正式方法论。案例研究
机译:基于统一语义模型的反应系统形式化开发方法
机译:应用于基于代理的系统的正式发展和验证方法
机译:基于代理的任务级分析作战模拟的开发方法以及验证和确认方法
机译:基于专家系统的新方法的设计与开发应用于防止室内氡气博览会风险
机译:正式的开发和验证方法论应用于基于代理的系统
机译:开发方法与基于代理的任务级分析战斗模拟的验证和验证方法相结合
机译:建立和验证虚拟车辆模型的方法论的发展以及使用通用道路轮廓输入进行虚拟仿真研究。
机译:配置为实现定制的临床信息系统的设计和实现,实现可定制的临床信息系统之间的本地互操作性,启用临床信息系统中的过程效率管理和/或启用定制的临床信息系统中的独立形式本体值的框架和方法
机译:配置为实现可定制的临床信息系统的设计和实现,可定制的临床信息系统之间的原生互操作性,可实现的临床信息系统中的过程效率管理和/或可实现的独立性的价值实现的框架和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。